-
1 formal verification
eng.formal verificationrus.формальная верификацияukr.формальна верифікаціяПреобразование доказательства правильности программы в доказательство теоремы в вычислении предикатов первого порядка.English-Russian dictionary of information security > formal verification
-
2 formal verification
формальное доказательство соответствия микросхемы (системы, приложения и т. п.) её спецификации на основе документации, исходных текстов и других документовАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > formal verification
-
3 formal verification
Большой англо-русский и русско-английский словарь > formal verification
-
4 formal verification
Вычислительная техника: формальная верификация -
5 formal verification
формальная (математическая) верификацияАнгло-русский словарь по компьютерной безопасности > formal verification
-
6 formal verification
English-Russian dictionary of computer science and programming > formal verification
-
7 formal verification
English-Russian information technology > formal verification
-
8 verification
проверка правильности, верификация; установление подлинностиАнгло-русский словарь по компьютерной безопасности > verification
-
9 verification and audit
верификация и аудит
(ITIL Service Transition)
Виды деятельности, отвечающие за обеспечение точности информации в системе управления конфигурациями, а также за то, что все конфигурационные единицы определены и записаны.
Верификация включает в себя регламентированные проверки, являющиеся частью других процессов. Например, сверка серийного номера рабочей станции, когда пользователь сообщает об инциденте.
Аудит – это периодическая, формальная проверка.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]EN
verification and audit
(ITIL Service Transition)
The activities responsible for ensuring that information in the configuration management system is accurate and that all configuration items have been identified and recorded.
Verification includes routine checks that are part of other processes for example, verifying the serial number of a desktop PC when a user logs an incident.
Audit is a periodic, formal check.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > verification and audit
-
10 design verification
верификация схемы (системы); проверка соблюдения требований проектного задания; проверка правильности проектированияопределение соответствия функционирования схемы (системы) в соответствии со спецификацией на неё. Методы верификации делятся на статические (см. formal verification) и динамические - с помощью прогона набора тестов.The most obvious and traditional method of design verification is prototyping. — Наиболее очевидный и традиционный метод верификации проекта - при помощи прототипа см. тж. specification
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > design verification
-
11 формальная верификация
Большой англо-русский и русско-английский словарь > формальная верификация
-
12 FVSEP
Сокращение: Formal Verification Systems Evaluation Program -
13 формальная верификация
eng.formal verificationrus.формальная верификацияukr.формальна верифікаціяПреобразование доказательства правильности программы в доказательство теоремы в вычислении предикатов первого порядка.English-Russian dictionary of information security > формальная верификация
-
14 system
система; комплекс; средство; способ; метод; сеть (напр. дорог) ;aiming-navigation system (analog, digital) — прицельно-навигационная система (аналоговая, цифровая)
air observation, acquisition and fire control system — (бортовая) система воздушной разведки, засечки целей и управления огнем
air support aircraft ECM (equipment) system — (бортовая) система РЭП для самолетов авиационной поддержки
airborne (ground) target acquisition and illumination laser system — ав. бортовая лазерная система обнаружения и подсветки (наземных) целей
airborne (ground) targeting and laser designator system — ав. бортовая лазерная система обнаружения и целеуказания (наземных целей)
airborne laser illumination, ranging and tracking system — ав. бортовая система лазерной подсветки, определения дальности и сопровождения цели
artillery (nuclear) delivery system — артиллерийская система доставки (ядерного) боеприпаса (к цели)
C2 system — система оперативного управления; система руководства и управления
C3 system — система руководства, управления и связи; система оперативного управления и связи
channel and message switching (automatic) communications system — АСС с коммутацией каналов и сообщений
country-fair type rotation system (of instruction) — метод одновременного обучения [опроса] нескольких учебных групп (переходящих от одного объекта изучения к другому)
dual-capable (conventional/nuclear) weapon delivery system — система доставки (обычного или ядерного) боеприпаса к цели
electromagnetic emitters identification, location and suppression system — система обнаружения, опознавания и подавления источников электромагнитных излучений [излучающих РЭС]
field antimissile (missile) system — полевой [войсковой] ПРК
fire-on-the-move (air defense) gun system — подвижный зенитный артиллерийский комплекс для стрельбы в движении [на ходу]
fluidic (missile) control system — ркт. гидравлическая [струйная] система управления полетом
forward (area) air defense system — система ПВО передового района; ЗРК для войсковой ПВО передового района
graduated (availability) operational readiness system — Бр. система поэтапной боевой готовности (частей и соединений)
high-resolution satellite IR detection, tracking and targeting system — спутниковая система с ИК аппаратурой высокой разрешающей способности для обнаружения, сопровождения целей и наведения средств поражения
ICBM (alarm and) early warning satellite system — спутниковая система обнаружения пусков МБР и раннего предупреждения (средств ПРО)
information storage, tracking and retrieval system — система накопления, хранения и поиска информации
instantaneous grenade launcher (armored vehicle) smoke system — гранатомет (БМ) для быстрой постановки дымовой завесы
Precision Location [Locator] (and) Strike system — высокоточная система обеспечения обнаружения и поражения целей; высокоточный разведывательно-ударный комплекс
rapid deceleration (parachute) delivery system — парашютная система выброски грузов с быстрым торможением
real time, high-resolution reconnaissance satellite system — спутниковая разведывательная система с высокой разрешающей способностью аппаратуры и передачей информации в реальном масштабе времени
received signal-oriented (output) jamming signal power-adjusting ECM system — система РЭП с автоматическим регулированием уровня помех в зависимости от мощности принимаемого сигнала
sea-based nuclear (weapon) delivery system — система морского базирования доставки ядерного боеприпаса к цели
small surface-to-air ship self-defense (missile) system — ЗРК ближнего действия для самообороны корабля
Status Control, Alerting and Reporting system — система оповещения, контроля и уточнения состояния [боевой готовности] сил и средств
surface missile (weapon) system — наземный [корабельный] РК
target acquisition, rapid designation and precise aiming system — комплекс аппаратуры обнаружения цели, быстрого целеуказания и точного прицеливания
— ABM defense system— antimissile missile system— central weapon system— countersurprise military system— laser surveying system— tank weapon system— vertical launching system— weapons system -
15 address
1. n выступление; речь; обращение; адресsecond-level address — адрес второго уровня; косвенный адрес
invalid address — недействительный адрес; неправильный адрес
address computation — формирование адреса; вычисление адреса
2. n арх. манераman of rude address — грубиян, неотёсанный человек
3. n арх. ловкость, искусство, тактa man of awkward address — человек, не обладающий ловкостью
4. n ухаживание5. n вчт. адресregional address — региональный адрес; адрес участка памяти
address adjustment — настройка адреса; корректировка адреса
6. v адресовать; направлять7. v написать адрес8. v обращаться9. v выступатьto address a meeting — выступать с речью на собрании; обратиться к собравшимся
10. v направлять силы или энергию; браться за11. v арх. ухаживать, обхаживать, добиваться руки12. v вчт. указывать адрес хранения информацииaddress line — линия адреса; адресная линия; адресная шина
immediate address — непосредственный адрес; адрес-операнд
Синонимический ряд:1. ability (noun) ability; adroitness; art; artistry; cleverness; deftness; dexterity; dexterousness; prowess; readiness; skill; sleight2. bearing (noun) air; bearing; comportment; deportment; mien; port; presence; set3. lecture (noun) allocution; declamation; discourse; harangue; lecture; oration; sermon; speech; talk4. poise (noun) appearance; behavior; behaviour; demeanor; demeanour; manner; poise5. residence (noun) abode; domicile; dwelling; habitation; headquarters; house; location; lodging; residence6. tact (noun) delicatesse; diplomacy; savoir faire; tact; tactfulness7. accost (verb) accost; bespeak; call to; greet; hail; memorialize; salute; speak to8. appeal (verb) appeal; apply to; ask; invoke; plead; style9. apply (verb) apply; approach; petition; sound; sue10. confront (verb) confront; deal with; face; meet11. court (verb) court; make up to; pursue; spark; sweetheart; woo12. direct (verb) aim; cast; direct; head; incline; lay; level; point; present; set; superscribe; train; zero in13. give (verb) apply; bend; buckle; buckle down; concentrate; dedicate; devote; focus; give; throw; turn14. label (verb) label; mark15. lecture (verb) declaim; discourse; harangue; lecture; orate; prelect; sermonise; sermonize; speak; talk16. send (verb) consign; dispatch; forward; remit; route; send; ship; transmitАнтонимический ряд:avoid; folly; ignore; overlook; pass; shun; stupidity -
16 treaty
-
17 mode
məud сущ.
1) метод, методика, способ The writer made use of a mode of teaching used commonly enough in the Bible. ≈ Писатель использует тот наставительный способ изложения, который достаточно часто применяется в Библии. mode of production Syn: method, manner, means
2) образ действий, манера поведения He explained it in his usual solemn mode. ≈ Он объяснил это в своей обычной важной манере. mode of life Syn: fashion
1.
3) вид, форма
4) состояние, режим a spacecraft in reentry mode ≈ космический корабль, находящийся в плотных слоях атмосферы when the camera is in automatic mode ≈ когда камера находится в автоматическом режиме Syn: status
5) стиль;
мода;
обычай It is the mode to live high, to spend more than we get. ≈ Это обычай жить богато, тратить больше, чем мы получаем. a slightly more elegant and formal mode of dress ≈ слегка более элегантный и формальный стиль одежды Syn: fashion
1., vogue, style
1.
6) муз. лад, тональность
7) грам.;
редк. наклонение Syn: mood II
8) лог. модальность суждения метод, способ - * of production (политэкономия) способ производства - * of publication способ издания( книг) - * of operation( специальное) способ или режим работы образ действий;
манера - * of life образ жизни - * of speaking манера говорить форма, вид - * of publication форма /вид/ издания (книг) - musical and literary *s of expression музыкальная и литературная формы выражения - * of combat( военное) вид боевых действий - * of decay( физическое) тип /форма, схема/ распада мода, обычай - today such a thing is the * сейчас такие вещи не в моде;
теперь мода на такие вещи - after the * of France на французский манер /лад/;
по французскому обычаю;
как принято во Франции (грамматика) (устаревшее) наклонение (музыкальное) лад, тональность (логика) модальность суждения (геология) действительный минералогический состав породы мода (в математической статистике) (физическое) тип движения;
мода (напр. колебаний) access ~ вчт. режим доступа addressing ~ вчт. способ адресации append ~ вчт. режим дозаписи attraction ~ вчт. демонстрационный режим auto-indent ~ вчт. режим автоматического отступа background ~ вчт. фоновый режим base ~ вчт. базовый режим batch ~ вчт. пакетный режим block ~ вчт. блочный режим broadcast ~ вчт. режим рассылки burst ~ вчт. монопольный режим capitals ~ вчт. режим прописных букв command ~ вчт. командный режим communication ~ вчт. режим связи compatibility ~ вчт. режим эмуляции compute ~ вчт. режим счета contention ~ вчт. состязательный режим conversational ~ вчт. диалоговый режим data-in ~ вчт. режим ввода данных data-out ~ вчт. режим вывода данных dialog ~ вчт. диалоговый режим display ~ вчт. экранный режим dual-processor ~ вчт. двухпроцессорный режим edit ~ вчт. режим редактирования event input ~ вчт. ввод с очередями failure ~ вчт. вид отказа file ~ вчт. режимный код файла fly-through ~ вчт. режим наблюдения с высоты птичьего полета free-running ~ вчт. режим свободного доступа full-screen ~ вчт. полноэкранный режим graphic ~ вчт. графический режим graphics ~ вчт. графический режим help ~ вчт. консультативный режим idle ~ вчт. нерабочий режим indexed ~ вчт. режим индексирования insert ~ вчт. режим вставки interactive ~ вчт. диалоговый режим interactive ~ вчт. интерактивный режим interpretive ~ вчт. режим интерпретации inverse video ~ вчт. режим выдачи негативного изображения kernel ~ вчт. режим ядра keyboard ~ вчт. клавиатурный режим learn ~ вчт. режим обучения local ~ вчт. автономный режим lock ~ вчт. режим блокировки manual ~ вчт. ручной режим mapped ~ вчт. режим с управлением памятью master ~ вчт. привелигированный режим mode вид ~ муз. лад, тональность ~ метод, способ;
mode of production способ производства ~ метод ~ мода;
обычай ~ образ ~ образ действий;
mode of life образ жизни ~ принцип работы ~ вчт. режим ~ способ ~ форма, вид ~ форма ~ of communication способ связи ~ of communication средство общения ~ образ действий;
mode of life образ жизни ~ of operation метод работы ~ of operation принцип работы ~ of operation способ действия ~ of payment форма платежа ~ метод, способ;
mode of production способ производства move ~ вчт. режим пересылки multitask ~ вчт. многозадачный режим native ~ вчт. режим работы в собственной системе команд nonwrap ~ вчт. режим без автоматического перевода строки off-line ~ вчт. автономный режим on-line ~ вчт. оперативный режим operating ~ вчт. рабочий режим page ~ вчт. страничный режим pipeline ~ вчт. конвейерный режим posted-write ~ вчт. режим отложенной записи privileged ~ вчт. привилегированный режим query ~ вчт. справочный режим question-answer ~ вчт. вопросно-ответный режим ready ~ вчт. режим готовности real address ~ вчт. режим реальной адресации real ~ вчт. реальный режим real time ~ вчт. режим реального времени replace ~ вчт. режим замещения run ~ вчт. режим прогона scope ~ вчт. экранный режим screen ~ вчт. экранный режим slave ~ вчт. непривилегированный режим slotted ~ вчт. режим с выделением квантов времени split-screen ~ вчт. полиэкранный режим spy ~ вчт. режим контрольных точек stream ~ вчт. пакетный режим supervisor ~ вчт. режим супервизора task ~ вчт. режим задачи test ~ вчт. тестовый режим text ~ вчт. текстовый режим through ~ вчт. режим работы на проход total-failure ~ вчт. режим полного отказа tracing ~ вчт. режим трассировки tracking-cross ~ вчт. режим отслеживания training ~ вчт. режим обучения transparent ~ вчт. прозрачный режим unoperable ~ вчт. режим простоя usage ~ вчт. режим использования user ~ вчт. режим пользователя user-operation ~ вчт. пользовательский режим verification ~ вчт. режим контроля virtual address ~ вчт. режим виртуальной адресации wave ~ тип волны wave ~ тип колебаний wrong ~ вчт. неверно выбранный режим -
18 PVF
1) Американизм: Political Victory Fund2) Военный термин: Pipes, Valves, and Fittings3) Техника: polyvinylfluoride4) Нефть: pump volume factor5) Фирменный знак: Pac Verification Facility, Park View Federal Savings Bank6) Полимеры: polyvinyl fluoride, polyvinyl formal7) Пластмассы: Poly- Vinyl Fluoride8) Строительные материалы: Полидифторионад -
19 test
1) тест, испытание, испытания; проверка || испытывать, проводить испытания; проверять2) показатель; стат. критерий, признак- odd test -
20 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method
- 1
- 2
См. также в других словарях:
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Verification and Validation (software) — In software project management, software testing, and software engineering, Verification and Validation (V V) is the process of checking that a software system meets specifications and that it fulfils its intended purpose. It is normally part of… … Wikipedia
Verification — The word Verify And Verification can refer to:* Verification and Validation: In engineering or a quality management system, verification is the act of reviewing, inspecting, testing, etc. to establish and document that a product, service, or… … Wikipedia
Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… … Wikipedia
Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… … Wikipedia
Formal specification — A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not (necessarily) how the system should do it. Given such a specification, it is… … Wikipedia
Verification (spaceflight) — Verification in the field of space systems engineering covers two verification processes: Qualification and Acceptance Overview Verification standards are developed by organizations like the NASA and the ECSS to establishes the requirements for… … Wikipedia
Verification and Validation — Verification Validation is the process of checking that a product, service, or system meets specifications and that it fulfils its intended purpose. These are critical components of a quality management system such as ISO… … Wikipedia
verification — ver·i·fi·ca·tion /ˌver ə fə kā shən/ n 1: an act or process of verifying 2: a sworn statement of truth or correctness submitted a verification signed by the defendant with the petition Merriam Webster’s Dictionary of Law. Merriam Webster. 1996 … Law dictionary